901. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
902. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
903. Mathematical logic and programming language
Author: Hoare, C. A. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
904. Mathematical logic and programming languages
Author: / edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985
905. Mathematical logic and programming languages
Author: / Edited by C. A. R. Hoare, J. C. Shepherdson
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computers),Logic, symbolic and mathematical
Classification :
QA76
.
6
.
M3646
1985
906. Mathematical logic in computer science
Author: / edited by B. Domolki and T. Gergely
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
،.
M352
1981
907. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
908. Mc Graw- Hill Personal computer programming encyclopedia
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Microcomputers- Programming,Programming Languages (Electronic computers),Operating System (Computers)
Classification :
QA
،
76
.
6
،.
M414
،
1985
909. McGraw-Hill personal computer programming encyclepedia: languages and operating systems
Author: William J. Birnes, editor;Nancy Hayfield, production editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Microcomputers,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
910. McGraw-Hill personal computer programming encyclopedia
Author: / edited by William Birnes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
Classification :
QA76
.
6
.
M414
1989
R
911. McGraw-Hill personal computer programming encyclopedia: languages and operating systems
پدیدآورنده :
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
912. McGraw-Hill personal computer programming encyclopedia languages and operating systems
Author: William J. Birnes, editor; Nancy Hayfield, production editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Microcomputers -- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1985
913. McGraw- Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Microcomputers- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
914. McGraw-Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Microcomputers - Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989
915. Mcgraw-hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor, Nancy Hayfield, production editor
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Microcomputers Programming, Programming languages )Electronic computers( , Operating systems )Computers(
Classification :
QA
76
.
6
.
M42
1985
916. Mes premieres constructions de programmes
Author: Gerbier, A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algorithms
Classification :
QA
76
.
G47
917. Meta - Levels Architectures and Reflection
Author: Edited by Patie MAES, Daniele NARDI
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
Classification :
QA
،
76
.
7
،.
M48
،
1988
918. Meta-level architectures and reflection
Author: edited by Pattie Maes, Daniel Nardi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
Classification :
QA
76
.
7
.
M48
1988
919. Meta-level architectures and reflection
Author: Meta-level architectures and reflection
Library: Vali Asr University Central Library (Kerman)
Subject: programming languages)electronic computers(,Artificial intelligence
Classification :
QA
76
.
7
.
M44
1988
920. Meta-level architectures and reflection
Author: Meta-level architectures and reflection
Library: Vali Asr University Central Library (Kerman)
Subject: programming languages)electronic computers(,Artificial intelligence
Classification :
QA
76
.
7
.
M44
1988
